All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

38 306 (0,266s)

Result

Karnaugh Studio

Karnaugh Studio is a graphical editor for truth function design and minimization using the Karnaugh mapping method. It supports performing both manual and fully automatic minimization on up to 32 functions in a single proje...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2019
  • R
Result

Some Ways to Minimization of Logical Forms

Methods to minimimization of logical forms - Karnaugh maps, are described, applications in classical logic and Boolean algebra.

BA - Obecná matematika

  • 2013
  • O
Result

Severalways to the Minimization of Propositional Forms

In this contribution are explained Karnaugh method to minimization of propositional forms.

BA - Obecná matematika

  • 2014
  • Jx
Result

An Application for Solving Truth Functions

This paper describes the Karnaugh Studio application, which resolves the mini-misation of these truth functions - and was developed at our faculty (FAI, TBU in Zlín). The minimisation is performed using the Karnaugh Map Met...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020
  • D
  • Link
Result

Graphical explaining of the minimization for logic function

functions using Karnaugh map, which was develoed by a student of our University as part of minimization of logic functions using Karnaugh map. The contribution also mentions how......

JC - Počítačový hardware a software

  • 2000
  • D
Result

Some Interesting Applications of the Karnaugh Map

The article describes a construction of a Boolean polynomial with respect to a given Boolean function, and vice versa. It also presents a simple way of writing symmetric Boolean functions that allow easy construction of minimal disjunctive normal for...

JC - Počítačový hardware a software

  • 2003
  • Jx
Result

Finding Normal Forms using Svoboda Maps

In this paper we present three methods of finding optimized normal forms in many-valued Svoboda maps. Our approaches are based on three functionaly complete sets of operations: Lukasiewicz operations with Kronecker delta and rational constan...

BA - Obecná matematika

  • 2003
  • Jx
Result

Monadic predicate formulare

It may be easily to fix truthfulness value of monadic predicate formulae on the arbitrary cardinality subject domain. Because is often tested the correctness of statements reasoning, their premises and conclusion can be expressed through in this pape...

JD - Využití počítačů, robotika a její aplikace

  • 2004
  • Jx
Result

Monadic Predicate Formulae

It may be easily to fix truthfulness value of monadic predicate formulae on the arbitrary cardinality subject domain. Because is often tested the correctness of statements reasoning, theirs premises and conclusion can be expressed through in this pap...

IN - Informatika

  • 2004
  • Jx
Result

Object Teaching

description of the program MINLOF- the minimization of logic function using Karnaugh's maps. Using animations this program explains and solves minimization of logic......

AM - Pedagogika a školství

  • 1999
  • D
  • 1 - 10 out of 38 306