Jawaban:variabel singkatA = tombol / pintu terbukaB = sensor gerak aktifC = saklar manual (1 = diizinkan / ON)T = suhu tinggiH = kelembapan tinggiE = energy‑saver ONO = override aktifM = tombol manual ditekan---1) Alarm pintu otomatisAlarm berbunyi jika pintu terbuka dan ada gerakan, kecuali saklar dimatikan.F_alarm = A ∧ B ∧ C---2) Sistem AC pintarAC menyala jika (suhu tinggi OR kelembapan tinggi) dan penghemat energi tidak aktif, atau jika override/manual ditekan.F_AC = ((T ∨ H) ∧ ¬E) ∨ O ∨ M---3) Pintu otomatis (Budi)Pintu hanya terbuka jika tombol A ditekan, sensor gerak B aktif, dan saklar C dalam posisi ON.F_pintu = A ∧ B ∧ C---4) Lampu ruang (contoh singkat)Lampu menyala jika tombol A dan sensor B aktif:L_lampu = A ∧ B