Suy diễn & quy tắc suy luận
Luật De Morgan là gì: cách phủ định câu có và, hoặc cho đúng
Luật De Morgan: phủ định của p và q là không p hoặc không q; phủ định của p hoặc q là không p và không q. Dùng khi giải bất phương trình, viết code.
#luật De Morgan
Suy diễn & quy tắc suy luận
Lịch sử logic học
Augustus De Morgan và cuộc đổi mới logic học ở thế kỷ 19
Augustus De Morgan đưa vào vũ trụ thảo luận, tam đoạn luận với chữ "phần lớn" và logic quan hệ. Hai luật phủ định mang tên ông vốn đã được Ockham nêu từ trước.
Logic & máy tính
Cổng NAND và NOR: vì sao chỉ một loại cổng dựng được cả máy tính
NAND và NOR đầy đủ chức năng: chỉ dùng một loại là dựng được NOT, AND, OR nên dựng được mọi mạch. XOR cần 4 cổng NAND; AND với OR thì không bao giờ đủ.
Logic & máy tính
Toán tử AND, OR trong lập trình: đánh giá tắt và những lỗi hay gặp
&& là "và", || là "hoặc", được đánh giá tắt: A sai thì A && B dừng, A đúng thì A || B dừng. Hiểu điều này để viết điều kiện bảo vệ và tránh lỗi ưu tiên.
Logic trong lời nói hằng ngày
Đọc điều kiện khuyến mãi và điều khoản bằng con mắt logic
Tách điều kiện thành và, hoặc, trừ khi; nhớ giảm 20% rồi 10% chỉ là 28%, mua 2 tặng 1 ≈ 33,3%, giảm 50% món thứ hai chỉ 25%, và bảo hành hết khi chạm mốc đầu ti