Copyright	Copyright (C) 2021 Yoo Chung
License	GPL-3.0-or-later
Maintainer	dev@chungyc.org
Safe Haskell	Safe-Inferred
Language	GHC2021

Solutions.P47

Description

Some solutions to Problems.P47 of Ninety-Nine Haskell Problems.

Synopsis

evaluateCircuit :: [(Int, Int)] -> Bool -> Bool -> Bool
buildCircuit :: (Bool -> Bool -> Bool) -> [(Int, Int)]

Documentation

evaluateCircuit :: [(Int, Int)] -> Bool -> Bool -> Bool Source #

Evaluates a logic circuit.

buildCircuit :: (Bool -> Bool -> Bool) -> [(Int, Int)] Source #

Returns a logic circuit composed of NAND gates which computes a given a binary boolean function. The logic circuit should be in a form which evaluateCircuit can evaluate.